# FILE NAME: 00007-00000078.toc
# TITLE: ERS Set 78
# DESCRIPTION: Obtained from the soi by adding the unranked alternatives at the bottom
# DATA TYPE: toc
# MODIFICATION TYPE: imbued
# RELATES TO: 00007-00000078.soi
# RELATED FILES: 
# PUBLICATION DATE: 2013-08-17
# MODIFICATION DATE: 2022-09-16
# NUMBER ALTERNATIVES: 20
# NUMBER VOTERS: 365
# NUMBER UNIQUE ORDERS: 362
# ALTERNATIVE NAME 1: Candidate 1
# ALTERNATIVE NAME 2: Candidate 2
# ALTERNATIVE NAME 3: Candidate 3
# ALTERNATIVE NAME 4: Candidate 4
# ALTERNATIVE NAME 5: Candidate 5
# ALTERNATIVE NAME 6: Candidate 6
# ALTERNATIVE NAME 7: Candidate 7
# ALTERNATIVE NAME 8: Candidate 8
# ALTERNATIVE NAME 9: Candidate 9
# ALTERNATIVE NAME 10: Candidate 10
# ALTERNATIVE NAME 11: Candidate 11
# ALTERNATIVE NAME 12: Candidate 12
# ALTERNATIVE NAME 13: Candidate 13
# ALTERNATIVE NAME 14: Candidate 14
# ALTERNATIVE NAME 15: Candidate 15
# ALTERNATIVE NAME 16: Candidate 16
# ALTERNATIVE NAME 17: Candidate 17
# ALTERNATIVE NAME 18: Candidate 18
# ALTERNATIVE NAME 19: Candidate 19
# ALTERNATIVE NAME 20: Candidate 20
3: 6,{1,2,3,4,5,7,8,9,10,11,12,13,14,15,16,17,18,19,20}
2: 7,{1,2,3,4,5,6,8,9,10,11,12,13,14,15,16,17,18,19,20}
1: 9,12,14,13,17,18,10,3,2,1,15,20,19,16,4,5,6,7,8,11
1: 15,18,19,17,20,1,2,10,11,14,13,12,3,4,5,16,6,7,8,9
1: 1,3,2,20,19,9,7,12,11,4,17,10,14,18,8,16,15,6,5,13
1: 1,19,17,2,11,15,12,9,4,14,10,3,18,16,6,7,13,8,5,20
1: 3,12,2,4,6,9,11,1,14,16,20,19,8,10,15,17,13,5,7,18
1: 9,5,10,17,8,20,4,19,1,2,3,7,12,14,18,15,11,6,16,13
1: 8,14,10,15,2,1,12,11,3,16,17,19,4,20,7,5,13,9,18,6
1: 1,20,2,4,10,11,12,13,19,5,14,6,7,15,8,16,17,9,18,3
1: 2,4,10,15,5,12,9,19,18,14,8,6,1,20,7,13,17,16,3,11
1: 8,12,1,4,3,2,7,17,15,13,11,6,20,18,14,19,5,16,9,10
1: 2,19,1,20,17,14,8,11,5,12,13,18,3,4,6,7,9,10,15,16
1: 11,1,2,8,9,10,12,17,16,19,20,18,5,6,7,15,14,13,3,4
1: 20,8,9,19,13,17,6,5,1,7,10,2,3,11,18,16,14,4,12,15
1: 9,2,11,3,15,12,4,19,17,14,1,20,18,6,5,7,8,10,16,13
1: 1,20,12,19,2,17,16,9,7,11,6,13,15,18,4,5,3,14,10,8
1: 1,11,8,9,10,17,15,14,19,20,4,2,12,3,16,18,5,7,6,13
1: 14,10,8,3,17,19,9,1,20,12,4,11,15,2,5,18,13,7,6,16
1: 6,9,11,1,12,16,19,20,17,15,2,4,7,13,3,5,8,10,14,18
1: 4,5,8,9,11,6,14,15,16,19,20,3,13,10,7,2,1,12,17,18
1: 3,9,15,1,4,20,12,6,2,17,13,8,7,19,16,5,10,14,18,11
1: 4,11,9,2,1,8,10,3,5,6,7,15,12,17,20,19,14,13,16,18
1: 8,20,9,11,19,15,3,2,1,12,16,4,6,10,14,7,5,17,13,18
1: 9,1,10,4,8,7,20,16,2,12,19,3,13,15,17,5,11,6,18,14
1: 12,1,6,9,20,17,3,13,18,8,4,2,5,10,11,19,16,15,14,7
1: 19,9,11,4,1,12,17,14,2,8,15,16,10,20,5,3,7,6,13,18
1: 13,20,2,7,6,10,18,12,1,17,4,11,9,3,19,14,15,16,5,8
1: 6,1,7,11,15,12,14,2,13,4,18,3,8,19,16,9,17,10,20,5
1: 9,1,15,16,20,18,11,7,17,2,3,5,4,14,6,12,19,13,10,8
1: 1,5,15,17,13,10,7,6,12,20,19,4,9,11,18,14,3,2,8,16
1: 11,15,17,12,4,9,1,8,10,13,16,14,2,3,5,6,7,{18,19,20}
1: 12,14,2,20,10,19,13,17,4,15,1,6,3,16,9,5,7,{8,11,18}
1: 19,1,2,3,14,15,5,6,17,20,8,12,11,10,9,16,18,{4,7,13}
1: 12,14,2,20,10,19,13,17,4,15,1,6,3,16,9,5,{7,8,11,18}
1: 14,15,12,20,19,11,9,5,4,3,1,2,10,8,16,17,{6,7,13,18}
1: 20,16,1,13,6,19,18,15,12,7,4,2,11,9,17,{3,5,8,10,14}
1: 19,11,9,8,12,14,20,2,17,1,3,10,4,5,15,{6,7,13,16,18}
1: 14,1,8,3,20,10,11,2,12,15,19,4,9,17,16,{5,6,7,13,18}
1: 15,20,2,12,14,17,16,19,4,8,7,10,13,3,6,{1,5,9,11,18}
1: 4,12,15,11,20,5,2,1,6,9,7,13,17,18,19,{3,8,10,14,16}
1: 19,6,2,1,7,15,13,18,8,17,16,20,11,4,12,{3,5,9,10,14}
1: 11,20,12,5,19,7,9,15,1,16,17,10,6,2,3,{4,8,13,14,18}
1: 3,2,10,12,14,19,18,16,15,5,7,11,1,17,4,{6,8,9,13,20}
1: 18,6,11,1,13,5,10,16,14,3,2,4,15,12,20,{7,8,9,17,19}
1: 1,12,20,19,4,2,11,17,7,5,3,6,9,8,13,{10,14,15,16,18}
1: 19,5,10,11,12,16,4,2,9,20,17,15,1,18,14,{3,6,7,8,13}
1: 14,13,19,3,2,8,6,12,17,7,20,15,16,5,1,{4,9,10,11,18}
1: 11,1,17,20,16,15,9,8,12,7,6,4,2,13,{3,5,10,14,18,19}
1: 10,1,2,5,6,9,12,11,14,16,17,19,18,20,{3,4,7,8,13,15}
1: 2,20,1,6,7,13,16,18,9,5,12,19,11,4,{3,8,10,14,15,17}
1: 1,2,17,20,5,3,6,9,10,12,19,14,13,16,{4,7,8,11,15,18}
1: 9,1,20,3,12,2,11,15,14,4,19,17,8,10,{5,6,7,13,16,18}
1: 11,9,16,1,13,2,5,12,20,18,19,8,15,17,{3,4,6,7,10,14}
1: 15,12,1,3,4,7,17,16,20,19,10,11,9,8,{2,5,6,13,14,18}
1: 4,8,1,12,2,7,6,3,5,13,15,17,19,20,{9,10,11,14,16,18}
1: 9,10,17,18,19,11,12,2,4,3,5,20,7,1,{6,8,13,14,15,16}
1: 3,4,2,1,8,9,10,11,12,14,17,19,20,{5,6,7,13,15,16,18}
1: 5,9,10,14,17,12,2,20,4,6,13,15,7,{1,3,8,11,16,18,19}
1: 3,2,4,1,5,6,8,12,15,16,20,19,18,{7,9,10,11,13,14,17}
1: 14,20,19,16,3,2,12,6,10,11,1,7,8,{4,5,9,13,15,17,18}
1: 15,17,18,1,10,14,20,6,13,16,2,5,7,{3,4,8,9,11,12,19}
1: 9,1,20,4,11,2,12,19,3,5,8,16,17,{6,7,10,13,14,15,18}
1: 19,1,9,12,15,17,20,11,3,4,5,18,7,{2,6,8,10,13,14,16}
1: 8,19,17,14,10,11,20,3,4,1,7,2,{5,6,9,12,13,15,16,18}
1: 1,20,9,3,2,11,19,17,12,18,6,16,{4,5,7,8,10,13,14,15}
1: 5,9,1,15,17,13,3,14,16,2,11,19,{4,6,7,8,10,12,18,20}
1: 16,3,1,2,5,4,12,6,7,9,20,19,{8,10,11,13,14,15,17,18}
1: 1,19,12,16,3,8,6,9,2,4,13,7,{5,10,11,14,15,17,18,20}
1: 1,20,12,3,4,17,9,15,19,5,2,11,{6,7,8,10,13,14,16,18}
1: 9,3,15,14,12,8,13,10,17,1,5,19,{2,4,6,7,11,16,18,20}
1: 4,5,9,10,12,11,2,17,14,20,1,16,{3,6,7,8,13,15,18,19}
1: 10,8,17,20,1,4,5,14,13,12,6,3,{2,7,9,11,15,16,18,19}
1: 1,2,3,17,20,19,5,7,6,13,15,11,{4,8,9,10,12,14,16,18}
1: 16,1,13,19,15,5,6,7,20,18,2,11,{3,4,8,9,10,12,14,17}
1: 9,10,14,15,17,18,19,20,1,2,12,7,{3,4,5,6,8,11,13,16}
1: 6,20,11,2,1,13,12,16,10,17,4,3,{5,7,8,9,14,15,18,19}
1: 10,16,11,5,1,4,20,17,12,6,3,2,{7,8,9,13,14,15,18,19}
1: 13,16,5,6,7,18,19,1,20,2,11,15,{3,4,8,9,10,12,14,17}
1: 9,1,6,12,4,10,19,17,3,8,11,16,{2,5,7,13,14,15,18,20}
1: 20,13,2,12,5,19,17,1,3,10,14,6,{4,7,8,9,11,15,16,18}
1: 15,20,9,1,2,10,8,18,19,7,16,12,{3,4,5,6,11,13,14,17}
1: 12,13,16,5,10,4,11,18,15,7,9,17,{1,2,3,6,8,14,19,20}
1: 10,5,3,19,4,2,9,11,20,12,15,14,{1,6,7,8,13,16,17,18}
1: 14,8,9,12,10,11,4,1,2,17,20,5,{3,6,7,13,15,16,18,19}
1: 19,20,11,1,10,9,12,8,4,3,6,15,{2,5,7,13,14,16,17,18}
1: 12,14,10,17,20,19,4,2,6,9,15,13,{1,3,5,7,8,11,16,18}
1: 5,9,16,1,10,7,4,17,13,19,18,20,{2,3,6,8,11,12,14,15}
1: 8,1,17,20,12,11,16,18,13,4,2,19,{3,5,6,7,9,10,14,15}
1: 9,11,12,4,20,5,8,14,2,6,10,15,{1,3,7,13,16,17,18,19}
1: 15,12,4,14,17,1,3,2,6,16,11,9,{5,7,8,10,13,18,19,20}
1: 3,16,20,9,2,12,5,4,1,19,6,13,{7,8,10,11,14,15,17,18}
1: 3,9,17,1,6,10,11,12,16,14,18,19,{2,4,5,7,8,13,15,20}
1: 17,1,19,9,20,3,4,11,12,18,5,10,{2,6,7,8,13,14,15,16}
1: 1,20,18,11,2,8,7,6,12,17,13,9,{3,4,5,10,14,15,16,19}
1: 1,11,15,10,19,16,17,3,4,6,12,14,{2,5,7,8,9,13,18,20}
1: 9,12,11,4,20,2,1,17,8,3,14,10,{5,6,7,13,15,16,18,19}
1: 12,9,1,11,20,14,17,19,8,7,2,{3,4,5,6,10,13,15,16,18}
1: 18,6,7,3,1,20,13,5,12,15,16,{2,4,8,9,10,11,14,17,19}
1: 5,13,16,6,18,7,20,11,19,1,2,{3,4,8,9,10,12,14,15,17}
1: 20,18,15,13,1,9,12,3,8,6,11,{2,4,5,7,10,14,16,17,19}
1: 19,1,8,4,9,10,13,16,18,15,7,{2,3,5,6,11,12,14,17,20}
1: 1,20,8,7,18,12,16,9,13,5,2,{3,4,6,10,11,14,15,17,19}
1: 9,12,14,10,20,1,15,17,7,4,5,{2,3,6,8,11,13,16,18,19}
1: 5,20,2,1,9,3,4,19,12,17,10,{6,7,8,11,13,14,15,16,18}
1: 5,12,19,15,9,20,14,6,8,18,7,{1,2,3,4,10,11,13,16,17}
1: 6,1,11,13,20,10,7,16,18,19,2,{3,4,5,8,9,12,14,15,17}
1: 9,2,14,13,17,20,19,11,5,16,12,{1,3,4,6,7,8,10,15,18}
1: 11,12,1,6,9,17,13,19,20,8,7,{2,3,4,5,10,14,15,16,18}
1: 7,16,18,20,12,1,2,6,5,11,13,{3,4,8,9,10,14,15,17,19}
1: 12,8,11,14,15,17,20,9,5,1,10,{2,3,4,6,7,13,16,18,19}
1: 9,20,1,12,2,16,18,11,7,6,13,{3,4,5,8,10,14,15,17,19}
1: 4,20,18,9,15,14,1,12,16,19,11,{2,3,5,6,7,8,10,13,17}
1: 2,4,9,11,12,20,18,1,3,8,10,{5,6,7,13,14,15,16,17,19}
1: 17,4,9,12,19,20,1,3,7,11,8,{2,5,6,10,13,14,15,16,18}
1: 4,9,11,12,15,17,3,2,1,8,14,{5,6,7,10,13,16,18,19,20}
1: 1,20,19,16,18,3,2,6,9,8,12,{4,5,7,10,11,13,14,15,17}
1: 6,1,10,17,19,2,15,4,3,8,12,{5,7,9,11,13,14,16,18,20}
1: 13,5,19,18,7,6,1,8,20,16,{2,3,4,9,10,11,12,14,15,17}
1: 20,2,1,4,14,13,3,5,6,12,{7,8,9,10,11,15,16,17,18,19}
1: 9,11,18,12,19,20,2,1,4,7,{3,5,6,8,10,13,14,15,16,17}
1: 1,5,20,18,16,7,6,13,12,2,{3,4,8,9,10,11,14,15,17,19}
1: 13,15,12,20,8,9,5,4,2,1,{3,6,7,10,11,14,16,17,18,19}
1: 10,20,14,15,17,4,2,1,8,11,{3,5,6,7,9,12,13,16,18,19}
1: 9,12,11,17,2,4,3,10,19,20,{1,5,6,7,8,13,14,15,16,18}
1: 16,6,5,7,13,18,2,20,19,1,{3,4,8,9,10,11,12,14,15,17}
1: 3,8,10,14,17,9,4,19,15,12,{1,2,5,6,7,11,13,16,18,20}
1: 9,11,12,4,15,1,20,17,14,13,{2,3,5,6,7,8,10,16,18,19}
1: 9,4,20,12,11,2,8,17,15,18,{1,3,5,6,7,10,13,14,16,19}
1: 11,7,5,13,16,18,19,20,2,1,{3,4,6,8,9,10,12,14,15,17}
1: 2,1,9,11,12,19,13,17,6,4,{3,5,7,8,10,14,15,16,18,20}
1: 8,4,19,20,2,9,10,1,12,11,{3,5,6,7,13,14,15,16,17,18}
1: 9,4,12,19,13,1,2,17,10,11,{3,5,6,7,8,14,15,16,18,20}
1: 1,9,11,15,12,4,20,19,17,14,{2,3,5,6,7,8,10,13,16,18}
1: 20,6,4,7,1,8,12,13,15,10,{2,3,5,9,11,14,16,17,18,19}
1: 9,3,1,14,8,15,11,12,17,10,{2,4,5,6,7,13,16,18,19,20}
1: 10,14,17,9,11,19,8,12,4,3,{1,2,5,6,7,13,15,16,18,20}
1: 18,20,6,5,9,1,7,16,11,15,{2,3,4,8,10,12,13,14,17,19}
1: 16,13,7,18,5,6,20,1,4,15,{2,3,8,9,10,11,12,14,17,19}
1: 3,14,11,4,9,1,2,15,19,20,{5,6,7,8,10,12,13,16,17,18}
1: 12,1,17,20,9,3,19,14,4,10,{2,5,6,7,8,11,13,15,16,18}
1: 12,10,20,1,14,9,7,8,19,17,{2,3,4,5,6,11,13,15,16,18}
1: 16,13,6,5,19,20,2,1,7,18,{3,4,8,9,10,11,12,14,15,17}
1: 13,16,5,7,6,18,1,2,19,20,{3,4,8,9,10,11,12,14,15,17}
1: 14,15,20,18,1,2,9,11,3,17,{4,5,6,7,8,10,12,13,16,19}
1: 4,12,9,11,1,2,8,17,19,20,{3,5,6,7,10,13,14,15,16,18}
1: 10,4,17,19,20,14,16,8,1,11,{2,3,5,6,7,9,12,13,15,18}
1: 2,7,1,20,13,9,8,11,18,19,{3,4,5,6,10,12,14,15,16,17}
1: 4,9,20,2,7,11,12,17,19,1,{3,5,6,8,10,13,14,15,16,18}
1: 20,9,1,16,2,4,6,7,12,10,{3,5,8,11,13,14,15,17,18,19}
1: 19,1,20,17,16,2,10,8,14,13,{3,4,5,6,7,9,11,12,15,18}
1: 9,11,6,4,20,19,12,2,15,{1,3,5,7,8,10,13,14,16,17,18}
1: 12,3,8,10,14,9,11,15,17,{1,2,4,5,6,7,13,16,18,19,20}
1: 1,5,11,12,18,16,15,8,9,{2,3,4,6,7,10,13,14,17,19,20}
1: 2,20,4,6,9,5,12,13,16,{1,3,7,8,10,11,14,15,17,18,19}
1: 6,7,20,1,5,16,18,13,2,{3,4,8,9,10,11,12,14,15,17,19}
1: 14,9,10,3,1,11,15,19,20,{2,4,5,6,7,8,12,13,16,17,18}
1: 14,12,13,10,2,17,20,4,15,{1,3,5,6,7,8,9,11,16,18,19}
1: 6,7,13,16,18,20,1,2,5,{3,4,8,9,10,11,12,14,15,17,19}
1: 17,12,20,2,3,10,19,6,1,{4,5,7,8,9,11,13,14,15,16,18}
1: 17,14,19,1,8,20,2,10,3,{4,5,6,7,9,11,12,13,15,16,18}
1: 17,20,4,1,3,7,12,19,9,{2,5,6,8,10,11,13,14,15,16,18}
1: 2,20,3,7,9,16,12,18,4,{1,5,6,8,10,11,13,14,15,17,19}
1: 9,12,4,11,19,20,1,2,17,{3,5,6,7,8,10,13,14,15,16,18}
1: 20,2,1,6,5,10,11,13,18,{3,4,7,8,9,12,14,15,16,17,19}
1: 13,1,5,20,6,16,18,7,11,{2,3,4,8,9,10,12,14,15,17,19}
1: 7,6,13,16,18,1,5,19,20,{2,3,4,8,9,10,11,12,14,15,17}
1: 12,20,1,17,10,15,4,5,14,{2,3,6,7,8,9,11,13,16,18,19}
1: 1,7,11,12,2,6,9,13,20,{3,4,5,8,10,14,15,16,17,18,19}
1: 9,10,19,16,8,5,4,11,12,{1,2,3,6,7,13,14,15,17,18,20}
1: 9,2,12,20,4,1,7,10,11,{3,5,6,8,13,14,15,16,17,18,19}
1: 3,8,10,14,19,20,1,2,17,{4,5,6,7,9,11,12,13,15,16,18}
1: 1,5,7,13,16,8,10,4,19,{2,3,6,9,11,12,14,15,17,18,20}
1: 9,2,6,8,11,10,19,18,20,{1,3,4,5,7,12,13,14,15,16,17}
1: 12,1,20,14,8,6,5,2,17,{3,4,7,9,10,11,13,15,16,18,19}
1: 1,2,9,11,12,15,20,19,18,{3,4,5,6,7,8,10,13,14,16,17}
1: 4,9,3,12,13,17,18,19,10,{1,2,5,6,7,8,11,14,15,16,20}
1: 20,12,19,14,17,4,2,10,5,{1,3,6,7,8,9,11,13,15,16,18}
1: 20,15,5,10,9,12,19,8,1,{2,3,4,6,7,11,13,14,16,17,18}
1: 11,19,6,5,10,7,16,13,18,{1,2,3,4,8,9,12,14,15,17,20}
1: 5,12,17,20,1,7,9,2,16,{3,4,6,8,10,11,13,14,15,18,19}
1: 9,4,13,12,7,5,6,20,11,{1,2,3,8,10,14,15,16,17,18,19}
1: 10,3,14,8,1,2,20,19,17,{4,5,6,7,9,11,12,13,15,16,18}
1: 2,9,20,15,6,4,3,1,{5,7,8,10,11,12,13,14,16,17,18,19}
1: 20,9,2,12,11,3,19,1,{4,5,6,7,8,10,13,14,15,16,17,18}
1: 15,14,17,19,20,4,10,13,{1,2,3,5,6,7,8,9,11,12,16,18}
1: 2,20,1,7,9,18,12,16,{3,4,5,6,8,10,11,13,14,15,17,19}
1: 13,17,14,1,8,10,12,6,{2,3,4,5,7,9,11,15,16,18,19,20}
1: 2,1,13,5,6,18,20,7,{3,4,8,9,10,11,12,14,15,16,17,19}
1: 10,3,9,2,17,20,4,1,{5,6,7,8,11,12,13,14,15,16,18,19}
1: 1,3,6,7,16,9,2,5,{4,8,10,11,12,13,14,15,17,18,19,20}
1: 15,1,14,3,17,10,19,20,{2,4,5,6,7,8,9,11,12,13,16,18}
1: 5,6,13,1,2,18,16,7,{3,4,8,9,10,11,12,14,15,17,19,20}
1: 9,12,11,15,4,8,10,19,{1,2,3,5,6,7,13,14,16,17,18,20}
1: 16,20,7,13,6,5,1,18,{2,3,4,8,9,10,11,12,14,15,17,19}
1: 12,9,4,11,10,8,1,2,{3,5,6,7,13,14,15,16,17,18,19,20}
1: 20,2,16,12,6,13,5,1,{3,4,7,8,9,10,11,14,15,17,18,19}
1: 9,5,14,20,1,2,6,4,{3,7,8,10,11,12,13,15,16,17,18,19}
1: 5,9,10,12,4,15,19,18,{1,2,3,6,7,8,11,13,14,16,17,20}
1: 3,14,8,10,11,9,15,19,{1,2,4,5,6,7,12,13,16,17,18,20}
1: 1,8,14,11,17,15,19,9,{2,3,4,5,6,7,10,12,13,16,18,20}
1: 20,2,11,12,1,3,9,4,{5,6,7,8,10,13,14,15,16,17,18,19}
1: 11,9,4,12,17,1,19,20,{2,3,5,6,7,8,10,13,14,15,16,18}
1: 18,4,20,9,16,1,7,10,{2,3,5,6,8,11,12,13,14,15,17,19}
1: 4,12,9,2,17,5,19,15,{1,3,6,7,8,10,11,13,14,16,18,20}
1: 4,5,7,12,19,18,11,9,{1,2,3,6,8,10,13,14,15,16,17,20}
1: 19,1,6,5,16,13,18,7,{2,3,4,8,9,10,11,12,14,15,17,20}
1: 6,2,17,20,9,5,1,12,{3,4,7,8,10,11,13,14,15,16,18,19}
1: 9,4,2,11,1,12,20,19,{3,5,6,7,8,10,13,14,15,16,17,18}
1: 15,4,12,9,20,8,2,3,{1,5,6,7,10,11,13,14,16,17,18,19}
1: 2,20,15,12,9,3,17,13,{1,4,5,6,7,8,10,11,14,16,18,19}
1: 5,16,18,6,2,1,11,{3,4,7,8,9,10,12,13,14,15,17,19,20}
1: 12,13,16,9,1,20,7,{2,3,4,5,6,8,10,11,14,15,17,18,19}
1: 9,4,2,20,11,12,7,{1,3,5,6,8,10,13,14,15,16,17,18,19}
1: 2,20,18,11,12,13,6,{1,3,4,5,7,8,9,10,14,15,16,17,19}
1: 16,19,18,5,7,11,13,{1,2,3,4,6,8,9,10,12,14,15,17,20}
1: 9,4,2,15,17,19,18,{1,3,5,6,7,8,10,11,12,13,14,16,20}
1: 6,9,4,12,10,1,17,{2,3,5,7,8,11,13,14,15,16,18,19,20}
1: 3,8,10,14,17,2,19,{1,4,5,6,7,9,11,12,13,15,16,18,20}
1: 6,9,4,12,5,17,19,{1,2,3,7,8,10,11,13,14,15,16,18,20}
1: 14,15,8,1,12,16,19,{2,3,4,5,6,7,9,10,11,13,17,18,20}
1: 5,16,19,9,10,14,20,{1,2,3,4,6,7,8,11,12,13,15,17,18}
1: 4,9,12,19,2,1,11,{3,5,6,7,8,10,13,14,15,16,17,18,20}
1: 5,20,16,18,13,6,7,{1,2,3,4,8,9,10,11,12,14,15,17,19}
1: 9,2,1,3,14,17,20,{4,5,6,7,8,10,11,12,13,15,16,18,19}
1: 2,3,20,5,8,19,15,{1,4,6,7,9,10,11,12,13,14,16,17,18}
1: 7,12,16,19,9,20,10,{1,2,3,4,5,6,8,11,13,14,15,17,18}
1: 19,8,14,15,3,11,10,{1,2,4,5,6,7,9,12,13,16,17,18,20}
1: 14,4,2,9,11,17,12,{1,3,5,6,7,8,10,13,15,16,18,19,20}
1: 15,20,19,14,2,1,17,{3,4,5,6,7,8,9,10,11,12,13,16,18}
1: 20,1,13,15,7,5,18,{2,3,4,6,8,9,10,11,12,14,16,17,19}
1: 9,12,4,1,2,5,15,{3,6,7,8,10,11,13,14,16,17,18,19,20}
1: 12,19,20,8,9,4,14,{1,2,3,5,6,7,10,11,13,15,16,17,18}
1: 1,9,12,5,7,19,18,{2,3,4,6,8,10,11,13,14,15,16,17,20}
1: 3,14,8,12,17,15,10,{1,2,4,5,6,7,9,11,13,16,18,19,20}
1: 17,14,1,9,10,2,8,{3,4,5,6,7,11,12,13,15,16,18,19,20}
1: 15,4,1,8,9,19,10,{2,3,5,6,7,11,12,13,14,16,17,18,20}
1: 18,16,13,5,6,7,2,{1,3,4,8,9,10,11,12,14,15,17,19,20}
1: 3,5,10,6,1,8,9,{2,4,7,11,12,13,14,15,16,17,18,19,20}
1: 2,8,1,5,20,13,6,{3,4,7,9,10,11,12,14,15,16,17,18,19}
1: 9,1,15,19,14,8,10,{2,3,4,5,6,7,11,12,13,16,17,18,20}
1: 4,17,1,20,11,9,12,{2,3,5,6,7,8,10,13,14,15,16,18,19}
1: 1,2,3,4,7,19,20,{5,6,8,9,10,11,12,13,14,15,16,17,18}
1: 20,12,1,3,2,13,19,{4,5,6,7,8,9,10,11,14,15,16,17,18}
1: 11,12,8,20,1,18,4,{2,3,5,6,7,9,10,13,14,15,16,17,19}
1: 1,6,15,8,13,20,4,{2,3,5,7,9,10,11,12,14,16,17,18,19}
1: 9,15,3,4,2,1,5,{6,7,8,10,11,12,13,14,16,17,18,19,20}
1: 15,5,2,1,11,12,20,{3,4,6,7,8,9,10,13,14,16,17,18,19}
1: 5,15,14,18,4,8,19,{1,2,3,6,7,9,10,11,12,13,16,17,20}
1: 6,7,13,16,19,20,{1,2,3,4,5,8,9,10,11,12,14,15,17,18}
1: 12,3,8,10,17,14,{1,2,4,5,6,7,9,11,13,15,16,18,19,20}
1: 19,17,12,9,1,2,{3,4,5,6,7,8,10,11,13,14,15,16,18,20}
1: 18,5,2,11,15,10,{1,3,4,6,7,8,9,12,13,14,16,17,19,20}
1: 9,19,12,4,2,1,{3,5,6,7,8,10,11,13,14,15,16,17,18,20}
1: 1,18,20,5,7,16,{2,3,4,6,8,9,10,11,12,13,14,15,17,19}
1: 12,6,1,9,19,15,{2,3,4,5,7,8,10,11,13,14,16,17,18,20}
1: 13,6,18,16,7,5,{1,2,3,4,8,9,10,11,12,14,15,17,19,20}
1: 5,1,8,9,12,20,{2,3,4,6,7,10,11,13,14,15,16,17,18,19}
1: 10,15,17,19,9,18,{1,2,3,4,5,6,7,8,11,12,13,14,16,20}
1: 3,9,1,16,19,10,{2,4,5,6,7,8,11,12,13,14,15,17,18,20}
1: 1,3,13,17,11,15,{2,4,5,6,7,8,9,10,12,14,16,18,19,20}
1: 12,15,1,17,19,20,{2,3,4,5,6,7,8,9,10,11,13,14,16,18}
1: 15,1,2,19,20,17,{3,4,5,6,7,8,9,10,11,12,13,14,16,18}
1: 5,12,9,17,20,15,{1,2,3,4,6,7,8,10,11,13,14,16,18,19}
1: 19,5,10,20,4,2,{1,3,6,7,8,9,11,12,13,14,15,16,17,18}
1: 3,4,16,9,8,2,{1,5,6,7,10,11,12,13,14,15,17,18,19,20}
1: 2,20,4,12,1,3,{5,6,7,8,9,10,11,13,14,15,16,17,18,19}
1: 1,12,8,19,9,17,{2,3,4,5,6,7,10,11,13,14,15,16,18,20}
1: 3,1,11,17,14,12,{2,4,5,6,7,8,9,10,13,15,16,18,19,20}
1: 5,6,16,13,18,7,{1,2,3,4,8,9,10,11,12,14,15,17,19,20}
1: 5,8,6,13,7,18,{1,2,3,4,9,10,11,12,14,15,16,17,19,20}
1: 16,11,18,7,19,6,{1,2,3,4,5,8,9,10,12,13,14,15,17,20}
1: 9,15,18,20,1,2,{3,4,5,6,7,8,10,11,12,13,14,16,17,19}
1: 9,4,19,1,2,3,{5,6,7,8,10,11,12,13,14,15,16,17,18,20}
1: 20,1,3,2,5,16,{4,6,7,8,9,10,11,12,13,14,15,17,18,19}
1: 9,1,12,2,20,18,{3,4,5,6,7,8,10,11,13,14,15,16,17,19}
1: 9,12,1,4,6,11,{2,3,5,7,8,10,13,14,15,16,17,18,19,20}
1: 12,1,4,5,9,8,{2,3,6,7,10,11,13,14,15,16,17,18,19,20}
1: 1,9,6,4,20,12,{2,3,5,7,8,10,11,13,14,15,16,17,18,19}
1: 3,8,12,5,19,20,{1,2,4,6,7,9,10,11,13,14,15,16,17,18}
1: 4,12,9,1,11,19,{2,3,5,6,7,8,10,13,14,15,16,17,18,20}
1: 20,2,4,12,1,3,{5,6,7,8,9,10,11,13,14,15,16,17,18,19}
1: 5,6,7,13,16,18,{1,2,3,4,8,9,10,11,12,14,15,17,19,20}
1: 7,4,5,10,9,2,{1,3,6,8,11,12,13,14,15,16,17,18,19,20}
1: 10,5,20,15,2,1,{3,4,6,7,8,9,11,12,13,14,16,17,18,19}
1: 12,14,10,9,20,17,{1,2,3,4,5,6,7,8,11,13,15,16,18,19}
1: 1,2,5,9,19,17,{3,4,6,7,8,10,11,12,13,14,15,16,18,20}
1: 10,19,14,3,8,17,{1,2,4,5,6,7,9,11,12,13,15,16,18,20}
1: 20,9,17,19,11,12,{1,2,3,4,5,6,7,8,10,13,14,15,16,18}
1: 12,9,11,4,1,17,{2,3,5,6,7,8,10,13,14,15,16,18,19,20}
1: 1,20,19,17,13,6,{2,3,4,5,7,8,9,10,11,12,14,15,16,18}
1: 15,12,5,10,20,{1,2,3,4,6,7,8,9,11,13,14,16,17,18,19}
1: 14,9,20,19,1,{2,3,4,5,6,7,8,10,11,12,13,15,16,17,18}
1: 1,2,19,20,17,{3,4,5,6,7,8,9,10,11,12,13,14,15,16,18}
1: 1,11,2,6,19,{3,4,5,7,8,9,10,12,13,14,15,16,17,18,20}
1: 4,12,9,11,17,{1,2,3,5,6,7,8,10,13,14,15,16,18,19,20}
1: 9,1,2,7,20,{3,4,5,6,8,10,11,12,13,14,15,16,17,18,19}
1: 6,1,13,12,4,{2,3,5,7,8,9,10,11,14,15,16,17,18,19,20}
1: 13,16,18,5,6,{1,2,3,4,7,8,9,10,11,12,14,15,17,19,20}
1: 6,9,4,12,1,{2,3,5,7,8,10,11,13,14,15,16,17,18,19,20}
1: 9,10,13,17,1,{2,3,4,5,6,7,8,11,12,14,15,16,18,19,20}
1: 9,5,11,10,12,{1,2,3,4,6,7,8,13,14,15,16,17,18,19,20}
1: 1,2,20,12,13,{3,4,5,6,7,8,9,10,11,14,15,16,17,18,19}
1: 10,14,8,19,3,{1,2,4,5,6,7,9,11,12,13,15,16,17,18,20}
1: 3,2,6,14,12,{1,4,5,7,8,9,10,11,13,15,16,17,18,19,20}
1: 14,10,8,3,1,{2,4,5,6,7,9,11,12,13,15,16,17,18,19,20}
1: 18,1,7,6,13,{2,3,4,5,8,9,10,11,12,14,15,16,17,19,20}
1: 9,3,14,17,18,{1,2,4,5,6,7,8,10,11,12,13,15,16,19,20}
1: 9,4,12,17,11,{1,2,3,5,6,7,8,10,13,14,15,16,18,19,20}
1: 3,9,20,1,2,{4,5,6,7,8,10,11,12,13,14,15,16,17,18,19}
1: 1,15,9,19,2,{3,4,5,6,7,8,10,11,12,13,14,16,17,18,20}
1: 9,12,4,17,11,{1,2,3,5,6,7,8,10,13,14,15,16,18,19,20}
1: 6,3,8,10,14,{1,2,4,5,7,9,11,12,13,15,16,17,18,19,20}
1: 5,1,11,20,19,{2,3,4,6,7,8,9,10,12,13,14,15,16,17,18}
1: 1,5,6,16,17,{2,3,4,7,8,9,10,11,12,13,14,15,18,19,20}
1: 12,5,19,15,7,{1,2,3,4,6,8,9,10,11,13,14,16,17,18,20}
1: 12,9,1,8,{2,3,4,5,6,7,10,11,13,14,15,16,17,18,19,20}
1: 9,10,1,5,{2,3,4,6,7,8,11,12,13,14,15,16,17,18,19,20}
1: 4,9,17,11,{1,2,3,5,6,7,8,10,12,13,14,15,16,18,19,20}
1: 14,8,12,2,{1,3,4,5,6,7,9,10,11,13,15,16,17,18,19,20}
1: 1,16,18,8,{2,3,4,5,6,7,9,10,11,12,13,14,15,17,19,20}
1: 9,12,4,17,{1,2,3,5,6,7,8,10,11,13,14,15,16,18,19,20}
1: 6,20,13,11,{1,2,3,4,5,7,8,9,10,12,14,15,16,17,18,19}
1: 6,14,3,20,{1,2,4,5,7,8,9,10,11,12,13,15,16,17,18,19}
1: 9,17,11,12,{1,2,3,4,5,6,7,8,10,13,14,15,16,18,19,20}
1: 2,20,12,16,{1,3,4,5,6,7,8,9,10,11,13,14,15,17,18,19}
1: 15,18,19,20,{1,2,3,4,5,6,7,8,9,10,11,12,13,14,16,17}
1: 7,5,20,12,{1,2,3,4,6,8,9,10,11,13,14,15,16,17,18,19}
1: 5,1,8,4,{2,3,6,7,9,10,11,12,13,14,15,16,17,18,19,20}
1: 3,14,8,10,{1,2,4,5,6,7,9,11,12,13,15,16,17,18,19,20}
1: 19,20,1,2,{3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18}
1: 9,12,4,11,{1,2,3,5,6,7,8,10,13,14,15,16,17,18,19,20}
1: 3,8,14,17,{1,2,4,5,6,7,9,10,11,12,13,15,16,18,19,20}
1: 20,2,12,16,{1,3,4,5,6,7,8,9,10,11,13,14,15,17,18,19}
1: 14,10,19,2,{1,3,4,5,6,7,8,9,11,12,13,15,16,17,18,20}
1: 1,13,4,{2,3,5,6,7,8,9,10,11,12,14,15,16,17,18,19,20}
1: 1,5,7,{2,3,4,6,8,9,10,11,12,13,14,15,16,17,18,19,20}
1: 20,1,2,{3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19}
1: 7,18,16,{1,2,3,4,5,6,8,9,10,11,12,13,14,15,17,19,20}
1: 5,1,6,{2,3,4,7,8,9,10,11,12,13,14,15,16,17,18,19,20}
1: 10,8,14,{1,2,3,4,5,6,7,9,11,12,13,15,16,17,18,19,20}
1: 12,15,9,{1,2,3,4,5,6,7,8,10,11,13,14,16,17,18,19,20}
1: 9,11,12,{1,2,3,4,5,6,7,8,10,13,14,15,16,17,18,19,20}
1: 13,16,20,{1,2,3,4,5,6,7,8,9,10,11,12,14,15,17,18,19}
1: 1,15,17,{2,3,4,5,6,7,8,9,10,11,12,13,14,16,18,19,20}
1: 1,2,20,{3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19}
1: 6,1,16,{2,3,4,5,7,8,9,10,11,12,13,14,15,17,18,19,20}
1: 4,5,8,{1,2,3,6,7,9,10,11,12,13,14,15,16,17,18,19,20}
1: 8,18,13,{1,2,3,4,5,6,7,9,10,11,12,14,15,16,17,19,20}
1: 8,3,19,{1,2,4,5,6,7,9,10,11,12,13,14,15,16,17,18,20}
1: 3,14,2,{1,4,5,6,7,8,9,10,11,12,13,15,16,17,18,19,20}
1: 20,16,12,{1,2,3,4,5,6,7,8,9,10,11,13,14,15,17,18,19}
1: 1,19,15,{2,3,4,5,6,7,8,9,10,11,12,13,14,16,17,18,20}
1: 16,1,9,{2,3,4,5,6,7,8,10,11,12,13,14,15,17,18,19,20}
1: 1,19,12,{2,3,4,5,6,7,8,9,10,11,13,14,15,16,17,18,20}
1: 13,20,{1,2,3,4,5,6,7,8,9,10,11,12,14,15,16,17,18,19}
1: 7,12,{1,2,3,4,5,6,8,9,10,11,13,14,15,16,17,18,19,20}
1: 18,7,{1,2,3,4,5,6,8,9,10,11,12,13,14,15,16,17,19,20}
1: 6,2,{1,3,4,5,7,8,9,10,11,12,13,14,15,16,17,18,19,20}
1: 12,1,{2,3,4,5,6,7,8,9,10,11,13,14,15,16,17,18,19,20}
1: 12,{1,2,3,4,5,6,7,8,9,10,11,13,14,15,16,17,18,19,20}
1: 9,{1,2,3,4,5,6,7,8,10,11,12,13,14,15,16,17,18,19,20}